import java.util.HashSet;
import java.util.Set;

// Every name generation should be moved here, to avoid any name collisions
public class NameFactory {
	Set<String> namePool = new HashSet<String>();

}
